Modelling and computing homotopy types: I
نویسندگان
چکیده
منابع مشابه
Computing Homotopy Types Using Crossed N -cubes of Groups∗
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some cases completely computable, in a way not possible with the traditional Postnikov systems, or with other models, such as simplicial groups. These algebraic st...
متن کاملHomotopy Types
For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov gave an alternative construction, which they showed to be homotopy equivalent to Davis and Januszkiewicz’s examples. It is therefore natural to investigate t...
متن کاملTQFTs from Homotopy n-types
Using simplicial methods developed in 22], we construct topological quantum eld theories using an algebraic model of a homotopy n-type as initial data, generalising a construction of Yetter in 23] for n=1 and in 24] for n=2
متن کاملF–isocrystals and Homotopy Types (f–isocristaux Et Types D’homotopie)
We study a positive characteristic analog of the nonabelian Hodge structure constructed by Katzarkov, Pantev, and Toen on the homotopy type of a complex algebraic variety. Given a proper smooth scheme X over a perfect field of characteristic p and a Tannakian category C of isocrystals on X, we construct an object XC in a suitable homotopy category of simplicial presheaves whose category of loca...
متن کاملHomotopy types for “gros” toposes
Introduction In this thesis we are investigating possibility of assigning homotopical invariants to toposes in an alternative way. The 2-category of (Grothendieck) toposes, geometric morphisms and their natural transformations (which we will denote by Top) has been used by many authors to model homotopy types particularly efficiently. Thus for example a topological space X can be represented in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae
سال: 2018
ISSN: 0019-3577
DOI: 10.1016/j.indag.2017.01.009